102.2K
Publications
5.7M
Citations
111.5K
Authors
9.1K
Institutions
Top Authors in Formal Methods
Discover the leading researchers and scholars who have made significant contributions to Formal Methods. The statistics shown in this table are calculated from publications relevant to this concept and reflect each author's impact within this specific field of study, not their overall metrics.
| Publications | Citations | H-Index | |
|---|---|---|---|
MY Rice University | 163 | 15.1K | 56 |
RA University of Pennsylvania | 94 | 21.8K | 53 |
TA University of California, Berkeley | 118 | 20.1K | 53 |
AS University of California, Berkeley | 178 | 13.2K | 52 |
MR Massachusetts Institute of Technology | 103 | 9K | 51 |
MD University of Washington | 90 | 9.7K | 51 |
AA Stanford University | 105 | 8.6K | 50 |
TR University of Wisconsin–Madison | 105 | 11.3K | 48 |
SP Microsoft Research (United Kingdom) | 99 | 8K | 46 |
SG Microsoft (United States) | 75 | 7.2K | 46 |
AP Weizmann Institute of Science | 86 | 16K | 46 |
WM Eindhoven University of Technology | 83 | 16K | 46 |
Page 1
Page 1